SWIG Users Manual Version 1.1 June 1997 David M. Beazley Department of Computer Science

Source URL: swig.org

• Software
• Computing
• Scripting languages
• Cross-platform software
• High-level programming languages
• Object-oriented programming languages
• Procedural programming languages
• SWIG
• Programming tool
• Tcl
• Application programming interface
• Perl

Patterns as Objects in Grace Michael Homer James Noble Kim B. Bruce

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computer programming
• Computing
• Functional programming
• Object-oriented programming languages
• Functional languages
• Data types
• Subroutines
• Scala
• Pattern matching
• Algebraic data type
• Factory

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 20 pages On the Semantics of the Bad-Variable Constructor in Algol-like Languages Guy McCusker 1

Source URL: www.entcs.org

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas1 Pablo Barcel´o2 Juan Reutter3 1 Dept. of Computer Science, Pontificia Universidad Cat´olica de Chile

Source URL: users.dcc.uchile.cl

Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Type theory
• Procedural programming languages
• Process calculi
• Data types
• Synchronization
• Language Of Temporal Ordering Specification
• Standard ML
• E-LOTOS
• ML

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar

Source URL: seclab.stanford.edu

• Logic
• Mathematics
• Abstraction
• Formal languages
• Mathematical logic
• Linear temporal logic
• Temporal logic
• Automated theorem proving
• Propositional calculus
• Substitution
• IP
• Interpretation

Patterns for ADT Optimisation David J. Pearce and James Noble Computer Science Victoria University of Wellington New Zealand

Source URL: homepages.ecs.vuw.ac.nz

• Query languages
• Iterator
• Object
• Rasdaman

Measuring Semantic Relatedness Across Languages Graeme Hirst Department of Computer Science University of Toronto Toronto, Canada

Source URL: km.aifb.kit.edu

Profiling Field Initialisation in Java Stephen Nelson, David J. Pearce, and James Noble Victoria University of Wellington Wellington, New Zealand {stephen,djp,kjx}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computing
• Computer programming
• Java
• Functional languages
• Object-oriented programming
• Concurrent programming languages
• Immutable object
• Constructor
• Scala
• Class
• Final

Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability